Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings
نویسنده
چکیده
A categorical equivalence between algebraic contexts with relational morphisms and join-semilattices with homomorphisms is presented and extended to idempotent semirings and domain semirings. These contexts are the Kripke structures for idempotent semirings and allow more efficient computations on finite models because they can be logarithmically smaller than the original semiring. Some examples and constructions such as matrix semirings are also considered.
منابع مشابه
Finitely Generated Algebraic Structures with Various Divisibility Conditions
Infinite fields are not finitely generated rings. Similar question is considered for further algebraic structures, mainly commutative semirings. In this case, purely algebraic methods fail and topological properties of integral lattice points turn out to be useful. We prove that a commutative semiring that is a group with respect to multiplication, can be two-generated only if it belongs to the...
متن کاملAlgebraic Notions of Termination
Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, Löb’s formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward and backward modal operators. To model infinite behaviours, idempotent semirings are extended to divergence ...
متن کاملPeter Jipsen From Semirings to Residuated Kleene Lattices
We consider various classes of algebras obtained by expanding idempotent semirings with meet, residuals and Kleene-∗. An investigation of congruence properties (epermutability, e-regularity, congruence distributivity) is followed by a section on algebraic Gentzen systems for proving inequalities in idempotent semirings, in residuated lattices, and in (residuated) Kleene lattices (with cut). Fin...
متن کاملAlgebraic Notions of Termination
Five algebraic notions of termination are formalised, analysed and compared: well-foundedness or Noetherity, Löb’s formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings, which are additively idempotent semirings with forward and backward modal operators. To reason about infinite behaviour, semirings are extended to divergence semi...
متن کاملMax-Plus Linear Algebra in Maple and Generalized Solutions for First-Order Ordinary BVPs via Max-Plus Interpolation
If we consider the real numbers extended by minus infinity with the operations maximum and addition, we obtain the max-algebra or the max-plus semiring. The analog of linear algebra for these operations extended to matrices and vectors has been widely studied. We outline some facts on semirings and max-plus linear algebra, in particular, the solution of maxplus linear systems. As an application...
متن کامل